Algebraische Spezifikation abstrakter Datentypen
Ehrich, Hans-Dieter / Lipeck, Udo Walter / Gogolla, Martin Dies Buch ist aus der Uberarbeitung und Erweiterung von Notizen zu Vorlesungen entstan den, die seit 1977 zuniichst vom·ersten Autor an der Universitii.t Dortmund, seit 1982 dann von allen drei Autoren in wechselrider Folge an der Technischen Universitat Braunschweig gehalten wurden. Der Schwerpunkt des Buches liegt bei den theoretischen Grundlagen, jedoch haben die Moglichkeiten und Grenzen praktischer Anwendung die Auswahl und die Gestaltun...